#ifndef TIMER_H_
#define TIMER_H_

void os_timer_start(unsigned int tick);
void os_timer_int_clear(void);

#endif /* TIMER_H_ */